New Opportunities for Integrated Formal Methods

Mechanizing Formal Methods: Opportunities and Challenges

Mechanization makes it feasible to calculate properties of formally speciied systems. This ability creates new opportunities for using formal methods as an exploratory tool in system design. Achieving enough eeciency to make this practical raises challenging problems in automated deduction. These challenges can be met only by approaches that integrate consideration of its mechanization into the...

Examples of Formal Heterogeneous Specifications and Formal Integrated Methods

IFM2005 Doctoral Symposium on Integrated Formal Methods

Current mechanizations of programming logics are often in the form of verification condition generators. These frontends to a prover translate a program and assertions into conditions that when proven state that the program fulfils its assertions. Traditional verification condition generators are monolithic encapsulations of a programming language’s semantics. This makes it hard to build such v...

Selected papers on Integrated Formal Methods (iFM09)

This issue contains extended versions of selected papers from the 7th International Conference on Integrated Formal Methods, iFM09, held on 16–19 February 2009 in Düsseldorf, Germany. The Integrated Formal Methods conference series seeks to further research into the combination of different formal methods, both for modeling and analysis, covering all aspects from language design over verificati...

islanding detection methods for microgrids

امروزه استفاده از منابع انرژی پراکنده کاربرد وسیعی یافته است . اگر چه این منابع بسیاری از مشکلات شبکه را حل می کنند اما زیاد شدن آنها مسائل فراوانی برای سیستم قدرت به همراه دارد . استفاده از میکروشبکه راه حلی است که علاوه بر استفاده از مزایای منابع انرژی پراکنده برخی از مشکلات ایجاد شده توسط آنها را نیز منتفی می کند . همچنین میکروشبکه ها کیفیت برق و قابلیت اطمینان تامین انرژی مشترکان را افزایش ...